Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
- Författare
- (Edited by Marco Bernardo, Einar Broch Johnsen.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2015 | Tyskland, Cham | VII, 211 sidor. 72 illus. online resource. | 978-3-319-18941-3 |